Opportunistically Parallel Lambda Calculus
dl.acm.org·1d·
Discuss: Hacker News
🔧ppx
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·23h
➡️Category Theory
Flag this post
Rouille – Rust Programming, in French
dev.to·12h·
Discuss: DEV
📝Nix Language
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·6h·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
A hitchhiker's guide to CUDA programming
seanzhang.me·1d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·18h·
Discuss: Lobsters, Hacker News
⚡Process Calculi
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
blog.jetbrains.com·2d·
Discuss: Hacker News
📝Nix Language
Flag this post
An intro to the Tensor Economics blog
lesswrong.com·2d
🐫OCaml
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·1h·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.com·9h·
Discuss: Hacker News
💬Mach Messages
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·1d·
Discuss: Lobsters, Hacker News
🔍Type Inference
Flag this post
Get Ready for Clojure, GPU, and AI in 2026 with CUDA 13.0
dragan.rocks·1d·
Discuss: Hacker News
🏗️Dune
Flag this post
Context Engineering: The Foundation for Reliable AI Agents
thenewstack.io·7h
🔤Language Design
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·9h·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
Show HN: GPU-accelerated sandboxes for running AI coding agents in parallel [video]
youtube.com·10h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.com·2h·
Discuss: Hacker News
📦OPAM
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.org·18h·
Discuss: Lobsters, Hacker News
🏗️Dune
Flag this post
Enhancing Workflow Efficiency via Dynamic Task Prioritization & Adaptive Resource Allocation
dev.to·1d·
Discuss: DEV
👁️System Observability
Flag this post
Runs-On: Mac
runs-on-mac.com·10h·
Discuss: Hacker News
💾Classic Mac OS
Flag this post
Scaling Embeddings with Feast and KubeRay
feast.dev·1d·
Discuss: Hacker News
🐫OCaml
Flag this post